搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	A Blueprint for Promoting Academic and Social Competence in After-School Programs [electronic resource] 0 索取号：作者：Gullotta、 Thomas P.、Bloom、 Martin.、Gullotta、 Christianne F.、Messina、 Jennifer C.、SpringerLink (Online service)、出版社：Boston, MA : Springer US : Imprint: Springer, 2009.		The Future of Identity in the Information Society [electronic resource] : Proceedings of the Third IFIP WG 9.2, 9.6/11.6, 11.7/FIDIS International Summer School on The Future of Identity in the Information Society, Karlstad University, Sweden, August 4鈥ᰬ 2007 0 索取号：作者：Fischer-H眉bner、 Simone.、Duquenoy、 Penny.、Zuccato、 Albin.、Martucci、 Leonardo.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2008.
	Making Grids Work [electronic resource] : Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece 0 索取号：作者：Danelutto、 Marco.、Fragopoulou、 Paraskevi.、Getov、 Vladimir.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2008.		Policies and Research in Identity Management [electronic resource] : First IFIP WG11.6 Working Conference on Policies and Research in Identity Management (IDMAN'07), RSM Erasmus University, Rotterdam, The Netherlands, October 11-12, 2007 0 索取号：作者：Leeuw、 Elisabeth.、Fischer-H眉bner、 Simone.、Tseng、 Jimmy.、Borking、 John.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2008.
	IP Networking over Next-Generation Satellite Systems [electronic resource] : International Workshop, Budapest, July 2007 0 索取号：作者：Fan、 Linghang.、Cruickshank、 Haitham.、Sun、 Zhili.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2008.		Achievements in European Research on Grid Systems [electronic resource] : CoreGRID Integration Workshop 2006 (Selected Papers) 0 索取号：作者：Gorlatch、 Sergei.、Bubak、 Marian.、Priol、 Thierry.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2008.
	Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century 0 索取号：作者：Gabbay、 Dov M.、Zakharyaschev、 Michael.、Goncharov、 Sergei S.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2007.		Integrated Research in GRID Computing [electronic resource] : CoreGRID Integration Workshop 2005 (Selected Papers) November 28鈥㰬 Pisa, Italy 0 索取号：作者：Gorlatch、 Sergei.、Danelutto、 Marco.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2007.
	Advanced Software Engineering: Expanding the Frontiers of Software Technology [electronic resource] : IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile 0 索取号：作者：Ochoa、 Sergio F.、Roman、 Gruia-Catalin.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.		Challenges in Ad Hoc Networking [electronic resource] : Fourth Annual Mediterranean Ad Hoc Networking Workshop, June 21鈥⴬ 2005, 脦le de Porquerolles, France 0 索取号：作者：Agha、 K.、Gu茅rin Lassous、 I.、Pujolle、 G.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.
	EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World [electronic resource] : IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6鈥蠊uly, 2005 0 索取号：作者：Kloos、 Carlos Delgado.、Mar铆n、 Andr茅s.、Larrabeiti、 David.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.		Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century 0 索取号：作者：Gabbay、 Dov M.、Goncharov、 Sergei S.、Zakharyaschev、 Michael.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2006.
	Future Generation Grids [electronic resource] : Proceedings of the Workshop on Future Generation Grids November 1鈥嬠2004, Dagstuhl, Germany 0 索取号：作者：Getov、 Vladimir.、Laforenza、 Domenico.、Reinefeld、 Alexander.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.		Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol 0 索取号：作者：Poernomo、 Iman Hafiz.、Wirsing、 Martin.、Crossley、 John Newsome.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2005.
	Architecture Description Languages [electronic resource] : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Dissaux、 Pierre.、Filali-Amine、 Mamoun.、Michel、 Pierre.、Vernadat、 Fran莽ois.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Formal Aspects in Security and Trust [electronic resource] : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Dimitrakos、 Theo.、Martinelli、 Fabio.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.

	A Blueprint for Promoting Academic and Social Competence in After-School Programs [electronic resource] 0 索取号：作者：Gullotta、 Thomas P.、Bloom、 Martin.、Gullotta、 Christianne F.、Messina、 Jennifer C.、SpringerLink (Online service)、出版社：Boston, MA : Springer US : Imprint: Springer, 2009.		The Future of Identity in the Information Society [electronic resource] : Proceedings of the Third IFIP WG 9.2, 9.6/11.6, 11.7/FIDIS International Summer School on The Future of Identity in the Information Society, Karlstad University, Sweden, August 4鈥ᰬ 2007 0 索取号：作者：Fischer-H眉bner、 Simone.、Duquenoy、 Penny.、Zuccato、 Albin.、Martucci、 Leonardo.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2008.
	Making Grids Work [electronic resource] : Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece 0 索取号：作者：Danelutto、 Marco.、Fragopoulou、 Paraskevi.、Getov、 Vladimir.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2008.		Policies and Research in Identity Management [electronic resource] : First IFIP WG11.6 Working Conference on Policies and Research in Identity Management (IDMAN'07), RSM Erasmus University, Rotterdam, The Netherlands, October 11-12, 2007 0 索取号：作者：Leeuw、 Elisabeth.、Fischer-H眉bner、 Simone.、Tseng、 Jimmy.、Borking、 John.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2008.
	IP Networking over Next-Generation Satellite Systems [electronic resource] : International Workshop, Budapest, July 2007 0 索取号：作者：Fan、 Linghang.、Cruickshank、 Haitham.、Sun、 Zhili.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2008.		Achievements in European Research on Grid Systems [electronic resource] : CoreGRID Integration Workshop 2006 (Selected Papers) 0 索取号：作者：Gorlatch、 Sergei.、Bubak、 Marian.、Priol、 Thierry.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2008.
	Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century 0 索取号：作者：Gabbay、 Dov M.、Zakharyaschev、 Michael.、Goncharov、 Sergei S.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2007.		Integrated Research in GRID Computing [electronic resource] : CoreGRID Integration Workshop 2005 (Selected Papers) November 28鈥㰬 Pisa, Italy 0 索取号：作者：Gorlatch、 Sergei.、Danelutto、 Marco.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2007.
	Advanced Software Engineering: Expanding the Frontiers of Software Technology [electronic resource] : IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile 0 索取号：作者：Ochoa、 Sergio F.、Roman、 Gruia-Catalin.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.		Challenges in Ad Hoc Networking [electronic resource] : Fourth Annual Mediterranean Ad Hoc Networking Workshop, June 21鈥⴬ 2005, 脦le de Porquerolles, France 0 索取号：作者：Agha、 K.、Gu茅rin Lassous、 I.、Pujolle、 G.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.
	EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World [electronic resource] : IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6鈥蠊uly, 2005 0 索取号：作者：Kloos、 Carlos Delgado.、Mar铆n、 Andr茅s.、Larrabeiti、 David.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.		Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century 0 索取号：作者：Gabbay、 Dov M.、Goncharov、 Sergei S.、Zakharyaschev、 Michael.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2006.
	Future Generation Grids [electronic resource] : Proceedings of the Workshop on Future Generation Grids November 1鈥嬠2004, Dagstuhl, Germany 0 索取号：作者：Getov、 Vladimir.、Laforenza、 Domenico.、Reinefeld、 Alexander.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.		Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol 0 索取号：作者：Poernomo、 Iman Hafiz.、Wirsing、 Martin.、Crossley、 John Newsome.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2005.
	Architecture Description Languages [electronic resource] : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Dissaux、 Pierre.、Filali-Amine、 Mamoun.、Michel、 Pierre.、Vernadat、 Fran莽ois.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Formal Aspects in Security and Trust [electronic resource] : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22鈥ⷬ 2004, Toulouse, France 0 索取号：作者：Dimitrakos、 Theo.、Martinelli、 Fabio.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.